bc6dae31f0dcb3a34089591ea8f67fe8568c3a18,client/src/main/java/org/evosuite/symbolic/vm/SymbolicHeap.java,SymbolicHeap,getReference,#Object#,389

Before Change


				// unknown object or out of synch object
				symb_ref = new ReferenceConstant(Type.getType(conc_ref
						.getClass()), newInstanceCount++);
				symb_ref.initializeReference(conc_ref);
				nonNullRefs.put(identityHashCode, symb_ref);
			}
			return symb_ref;

After Change


				// unknown object
				final Type type = Type.getType(conc_ref.getClass());
				ReferenceConstant ref_constant = new ReferenceConstant(type, newInstanceCount++);
				ref_constant.initializeReference(conc_ref);
				nonNullRefs.put(identityHashCode, ref_constant);
				return ref_constant;
			}